Tools for program dynamic analysis, testing, and debugging based on event grammars
نویسنده
چکیده
This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events -precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is developed that provides a basis for assertion checking, debugging queries, execution profiles, and performance measurements.
منابع مشابه
“Lightweight” Semantics Models for Program Testing and Debugging Automation
We suggest an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events -precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is developed...
متن کاملAssertion checker for the C programming language based on computations over event traces
This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events-precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is d...
متن کاملNAVAL POSTGRADUATE SCHOOL Monterey , California Engineering Automation for Reliable Software
This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events -precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is ...
متن کاملEnabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
Dynamic program analysis tools based on code instrumentation serve many important software engineering tasks such as profiling, debugging, testing, program comprehension, and reverse engineering. Unfortunately, constructing new analysis tools is unduly difficult, because existing frameworks offer little or no support to the programmer beyond the incidental task of instrumentation. We observe th...
متن کاملAnalysis Tools for Reliable Software Everywhere
Software is becoming ubiquitous in everyday life, from todays smartphones and servers to tomorrows self-driving cars, drones, and Internet of Things devices. However, the distributed, always-on nature of this software poses significant new challenges for reliability, security, and programmer productivity. Better programming tools are needed to enable next-generation applications to achieve thei...
متن کامل